The Full-Reducing Krivine Abstract Machine Kn Simulates Pure Normal-Order Reduction I...

The full-reducing Krivine abstract machine KN simulates pure normal-order reduction i... (ICFP 2020)

[ICFP'22] A Simple and Efficient Implementation of Strong Call by Need by an Abstract Ma…

ICFP 2020 Session NY 3

ICFP 2020 Session Asia 3

[POPL 2021] The (In)Efficiency of Interaction (full)

Hubert Krivine | Petit traité de hasardologie

CultureMath Des mathématiques vivantes

PPA 5/10: Abstract Machines [program analysis crash course]

Yegor Bugayenko

ICFP 2014:Distilling Abstract Machines - Damiano Mazza

Malcolm Wallace

"Applicative order" and "Normal order" in lambda-calculus (2 Solutions!!)

Roel Van de Paar

The Zoo of Lambda-Calculus Reduction Strategies, And Coq

Tomasz Drab Academic

David Turner 2019 Peter Landin Semantics Seminar - BCS-FACS